カバレッジ

Coverage レポートは、選択したモデルの最新バージョンに対するテストカバレッジの概観と詳細分析を提供するために、2つのセクションに分けられています。

履歴チャート

Historyチャートでは、デフォルトのカバレッジタイプに対する実行回数に対する成功メトリクスとカバレッジパーセンテージを一目で確認できます：

• すべてのノード
• すべてのペア
• 拡張
• フル探索

以下のデータが表示されます：

履歴

• Runs: 選択した現在のモデルのバージョンに対する完了したテスト実行の数。

• Testing time: すべてのテスト実行の合計時間。

結果

• Pass: 合格となったテスト実行の数。

• Fail: 失敗したテスト実行の数。

• Pass rate: 合格率。

カバレッジ予測（90%）

これは、グラフにプロットされた実際の結果に基づき、各カバレッジモデルで90%のカバレッジに到達するまでに要する時間の見積もりです。 90%のカバレッジに到達している場合、この項目にはDoneと表示されます。未到達の場合は、各カバレッジタイプについて90%に達するまでの残り時間（時間数）が表示されます。

ヒートマップ

heatmapでは、各カバレッジタイプに対する詳細なカバレッジメトリクスを、State 、Action、パスを含めて詳細に調査します。

Coverage ヒートマップは、モデル内の State と Action のカバレッジ率を可視化します。

Coverage ヒートマップを表示するには、Insights > Coverage に移動し、サブナビゲーションで Heatmap を選択します。 ヒートマップの上部にあるモデルのドロップダウンセレクターで、現在のモデルを変更できます。

注記

カスタムカバレッジモデルはこのビューでレンダリングすることができません。

カバレッジサマリー

サイドバーの Coverage Model ドロップダウンを変更すると、ビジュアライゼーションとサイドバーのコンテンツが更新されます。 次のオプションを利用できます：

• すべてのノード

• すべてのペア

• 拡張

• フル探索

以下のメトリクスは、各カバレッジタイプについてサイドバーに表示されます：

• 総カバレッジ率

• カバーされた State の数

• カバーされた Action の数

• カバーされたパスの数

モデルの可視化

選択したモデルのうちカバレッジのない要素はグレースケールで表示されます。 カバレッジのある Action や State は、カバレッジ率に応じて背景色の彩度が高くなり、薄い青から濃い青へと変化します。 これらのパーセンテージ値の文字色は可読性のためだけに変わります。色自体に追加の意味はありません。

Action、State パラメータ、および State 内のサブモデルの累積カバレッジは、State ヘッダーにパーセンテージで表示されます。 グローバル Action コンテナにはカバレッジのパーセンテージは表示されません。

要素カバレッジ

モデル内のState またはActionをクリックすると、選択した要素に特化したメトリクスでサイドバーが更新されます。

メトリクス

Actionが選択された場合、以下の内容がAction Summaryセクションの下に表示されます：

• Actionの名前

• Actionを含むState の名前

• Actionのカバレッジパーセンテージ

• ヒット数

State が選択された場合、以下の内容がState Summaryセクションの下に表示されます：

• State の名前

• State のカバレッジパーセンテージ

• ヒット数

ヒット数は、全ての前回のテストランでその要素がヒットした累積の回数です。

パス

選択した要素を含むモデル内の可能なパスが一覧表示されます。 カバレッジレポートによっては、これらのパスの一部が Covered Paths セクションまたは Uncovered Paths セクションに表示されます。